module M

let _ = id (x <- 5)
fun _ -> let x = 1 in (a <- x), 1
